concurrent system
英 [kənˈkʌrənt ˈsɪstəm]
美 [kənˈkɜːrənt ˈsɪstəm]
网络 并发系统; 并发式系统; 并行系统
双语例句
- The scrum also benefited the development team when system testers reported issues found during concurrent system test.
当系统测试人员报告在并行的系统测试中发现的问题时，小会议也给开发团队带来好处。 - Basic principle, main features and implementation of self-developed concurrent CNC system control based on IPC are stated.
介绍了所研究开发的基于工业控制机的并行CNC系统的控制原理，主要特征及其实现过程。 - The Formal Modelling Method for Real-time Concurrent System
实时并发系统的形式化建模方法研究 - Design and Implementation of Operation Wizard of Concurrent System
并发验证系统中操作向导的设计与实现 - This paper states the syntax and semantics of CTL~ and its sub-logics: CTL and LTL, and analyzes how to state the properties of concurrent system, and finally the application example is given.
阐述了时态逻辑CTL及其子逻辑CTL、LTL的语法及语义，然后分析运用时态逻辑描述并发系统性质，最后给出一个应用实例。 - Study on Modeling and Analysis of Concurrent System
并发系统建模与分析研究 - Petri Net is a suitable model of asynchronous and concurrent system.
Petri网是研究并发、异步系统的有效模型，并巳逐步应用到资源分配、操作系统、分布式系统等领域。 - Petri Net is an important tool of modeling and analysis for a synchronous concurrent system, and it can express many relations and actions intuitively, for example, resource sharing and confliction relationship. Then it is easily understood the process of modeling by Petri Net.
Petri网是异步并发系统建模与分析的一种重要工具，可直观、系统地表达各种关系和行为，如资源共享、冲突关系等，用Petri网模型描述一个过程较为直观。 - Petri net is an important tool to model asynchronous and concurrent system. It is applied to VLSI more and more. Obtaining corresponding logic circuit from Petri net model of the system directly is the research goal of many scholars.
Petri网是异步并发系统建模的重要工具，正越来越多地被应用在超大规模集成电路之中，从系统的Petri网模型直接获得相应的逻辑电路是许多学者研究的目标。 - The concurrency process has an obvious characteristic of asynchronous and concurrency, and Petri net is a very good tool on depicting asynchronous and concurrent system. But now there is almost no research on using Petri net on concurrency process controlling problem.
并发进程具有明显的异步并发性，而Petri网是描述异步并发系统的有效工具，但是目前将Petri网用于并发进程控制问题的研究还几乎没有。 - A Formal Method of Describing the Properties of Concurrent System
并发系统性质描述的一种形式化方法 - To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。 - Time Petri Nets ( TPN) describing temporal concurrent system can be used to model dynamic behavior of the system.
时间Petri网（TPN）描述具有时序关系的并发系统，用于系统行为的动态建模。 - Chapter 4 The discussion of concurrence between liability for breaching contract and tort: the analysis on the reasons for concurrence between contractual liability and tort liability from the perspective of the civil liability and protected benefits, with the liability concurrent system in China provided.
第四章违约责任与侵权责任竞合的探讨：从民事义务和保护利益的角度来分析违约责任与侵权责任竞合的根本原因，并提出我国的责任竞合制度。 - A graph grammar based concurrent system testing method and its implementation
基于图文法的并发系统状态测试方法及其实现 - This paper introduces the definition of Petri nets and depicts the concurrent system, pointing out that grid is a basic environment of the complete asynchronous concurrent system.
介绍了Petri网的基本定义和对并发系统的描述.指出网格是完全异步并发的基础环境。 - CAD and Simulation Concurrent System of Hydraumatic Application of General Computer in Hydraumatic Drawframe Reforming
基于协作的液压CAD及仿真系统设计与开发通用计算机用于液压拉伸机改造 - As a modeling method, CPN is widely adopted in describing and verifying distributed system, concurrent system and protocol.
CPN作为一种模型工具，广泛应用在分布式系统，并发系统，以及协议的描述与验证中。 - Wright is a famous architecture description language that is very suitable for concurrent system modeling.
Wright是一种适合于对具有并发特性的系统进行仿真建模的著名体系结构描述语言。 - The combined manipulation of Petri net and its use in the concurrent system modelling
Petri网的组合操作及其在并发系统综合建模中的应用 - In this thesis, discuss the safety and fairness in concurrent system, and point out its importance when multithreading accessing the critical resources.
文中首先讨论了多线程并发系统中的安全性与公平性问题，指出安全性与公平性在并发系统中访问临界资源时的重要性。 - Safety and Fairness in Java Multithreading Concurrent System
Java多线程并发系统中的安全性与公平性 - Designing Petri net specification for discrete concurrent system
功能确定的离散并发系统的Petri网规范设计方法 - Formal Object-Oriented Method for Modeling Concurrent System
形式化面向对象方法与并发系统的建模 - It reduce the frequency of memory operation by establishing vacancy list beforehand according to the characteristic of real-time concurrent system; then, two-level hash table structure is constructed to associate session by using two level hash operation.
根据实时并发处理系统的应用特点，预先建立空闲链表，减少内存操作频度；根据软交换网络的呼叫标识配置特性，构建两级哈希表结构，使用两级哈希运算进行会话关联检索。 - The emergence of the system of combining juridical and prosecutorial branches at the constitutional level was concerned, the rank changes in the prosecutorial power, the strengthening of military prosecutorial power and the local procuratorial concurrent system were expounded.
对宪政层面审检合署体制的出现进行了关注，对检察权的权力位阶的变化、军事检察权的强化、地方检察权的兼理制等进行了论说。 - In the concurrent system, many tasks run at the same time.
在并发系统中，多个任务同时执行。 - In this paper, Petri Net is used to describe concurrent system, after it has been relaxed, ordinary differential equations is constructed to model the system.
本文引入Petri网描述并发系统，将其连续化，用常微分方程组对系统建模。 - During the process of software system, the design methods for real-time and concurrent system are used. When the every task is running, the real time can be meted and the real time task dispatch correctness of the diesel engine manage system is ensured finally.
运用实时结构分析的方法设计了系统的结构，从而使得每个任务当同时开始运行时都能够满足时间正确性，并最终保证了发动机管理系统实时任务调度的正确性。 - Usually, the intelligent control system is an asynchronous concurrent system. Petri net just has a unique advantage for describing the asynchronous concurrent systems.
通常，智能控制系统是一个异步并发系统，而Petri网刚好在描述分析异步并发系统方面具有独特优势。